"Robert Laurence Baber" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)

Robert Laurence Baber

56.45 Mb

#2

Error Free Software: Know-how and Know-why of Program Correctness

Robert Laurence Baber

56.46 Mb

#3

Software Reflected: The Socially Responsible Programming of Computers

Robert Laurence Baber

59.78 Mb

#4

The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program

Robert Laurence Baber

Категория: Computer Science, Software Engineering

67.06 Mb